1541. Static analysis : third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993 : proceedings
Author: Patrick Cousot...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
724


1542. Structure and interpretation of computer programs
Author: / Harold Abelson and Gerald Jay Sussman, with Julie Sussman
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic digital computers--Programming,LISP (Computer program language),Programming languages
Classification :
QA
,
76
.
6
,.
A255
,
1996


1543. Studies in abstract families of languages /
Author: by Seymour Ginsburg, Sheila Greibach, John Hopcroft
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical linguistics,Programming languages (Electronic computers)

1544. Studies in abstract families of languages
Author: Gimsburg, Seymour
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Machine theory ► Programming (Electronic Computers)
Classification :
511
G493s


1545. Study and compilation of computer languages
Author: / (by) Y. Wallach
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers),Compiling (Electronic computers)
Classification :
QA
76
.
7
.
W34


1546. Swift by example :
Author: Giordano Scalzo
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development,Programming languages (Electronic computers)
Classification :
QA76
.
7


1547. Swift essentials :
Author: Dr. Alex Blewitt
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)
Classification :
QA76
.
7


1548. Swift 3 for Absolute Beginners
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
Classification :
QA76
.
73
.
S95


1549. Swift for dummies
Author: Feiler, Jesse
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Swift (Computer program language) ► Programming languages (Electronic computers)
Classification :
76
.
7
F455

1550. Symbol manipulation languages and techniques
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers) -- Congresses
Classification :
76
.
5
.
I34

1551. Symbol manipulation languages and techniques. Proceedings of the IFIP Working Conference on Symbol Manipulation Languages
Author: IFIP Working Conference on Symbol Manipulation Languages, )6691, Pisa, Italy(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
5
.
I34
1966


1552. Symposium on Semantics of Algorithmic Languages
Author: edited by E. Engeler
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
Classification :
QA
3
.
L28
Vol
.
188


1553. Symposium on semantics of algorithmic languages
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers)- Semantics- Congresses►Formal languages- Congresses►Computer algorithms- Congresses
Classification :
3
.
L28
,
no
.
188

1554. Symposium on semantics of algorithmic languages
Author: edited by E. Engeler
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
Classification :
QA
1
.
L4
v
.
188


1555. Symposium on semantics of algorithmic languages
Author: / edited by E. Engeler
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses
Classification :
QA
76
.
7
.
S9
1971


1556. Symposium on semantics of algorithmic languages
Author: edited by E.Engeler
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
Classification :
QA
3
.
L28
no
.
188


1557. Synchronous programming of reactive systems
Author: / by Nicolas Halbwachs
Library: Library of College of Science University of Tehran (Tehran)
Subject: Real-time programming,Programming languages (Electronic computers)
Classification :
QA
76
.
54
.
H36
1993


1558. Syntax-directed semantics :
Author: Zoltán Fülöp, Heiko Vogler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Codegenerierung,Programming languages (Electronic computers) -- Semantics.,Transducers.
Classification :
QA76
.
7
Z658
1998


1559. Syntax of programming languages: theory and practice
Author: Backhouse, Roland C.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Syntax ، Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
B3


1560. System simulation : programming styles and languages
Author: Kreutzer, Wolfgang.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Digital computer simulation,، Electronic digital computers- Programming,، Programming languages )Electronic computers(
Classification :
QA
76
.
9
.
C65K74
1986

